Allow guests to register secondary vcpu_time_info
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 19 Oct 2009 10:58:36 +0000 (11:58 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 19 Oct 2009 10:58:36 +0000 (11:58 +0100)
commita5d39947cb89d3abf63db872a44d17c88718b6ba
tree1aae4d257a2dab9be853d535cc45063291f88d0e
parent980aa0a42fe6581c47b4efbacfad7966de5098f7
Allow guests to register secondary vcpu_time_info

Allow a guest to register a second location for the VCPU time info
structure for each vcpu.  This is intended to allow the guest kernel
to map this information into a usermode accessible page, so that
usermode can efficiently calculate system time from the TSC without
having to make a syscall.

Signed-off-by: Jeremy Fitzhardinge <jeremy.fitzhardinge@citrix.com>
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/domain.c
xen/arch/x86/time.c
xen/include/asm-x86/domain.h
xen/include/asm-x86/time.h
xen/include/public/vcpu.h